es{-}type(${\it es}$; $i$; $x$; $T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$alle{-}at(${\it es}$;$i$;$e$.es{-}when(${\it es}$; $x$; $e$) $\in$ $T$ \& es{-}after(${\it es}$; $x$; $e$) $\in$ $T$)